gh = h'g for some h' in H